function $(obj) {
    return document.getElementById(obj);
}